Amos against Amaziah (Amos 7:10-17): a Case of Mutual Exclusion
نویسندگان
چکیده
منابع مشابه
Proof Labeling Schemes ∗ Amos Korman
This paper addresses the problem of locally verifying global properties. Several natural questions are studied, such as “how expensive is local verification?” and more specifically “how expensive is local verification compared to computation?” A suitable model is introduced in which these questions are studied in terms of the number of bits a node needs to communicate. In addition, approaches a...
متن کاملCompetitive Paging Algorithms AMOS FIAT
The paging problem is that of deciding which pages to keep in a memory of k pages in order to minimize the number of page faults. We develop the marking algorithm, a randomized on-line algorithm for the paging problem. We prove that its expected cost on any sequence of requests is within a factor of 2Hk of optimum. (Where Hk is the kth harmonic number, which is roughly Ink.) The best such facto...
متن کاملValidation of water vapour measurements from AMOS
1 University of Bern, Bern, Switzerland 2 Max-Planck-Institute for Biogeochemistry, Jena, Germany 3 Institut für Meteorologie und Klimaforschung, Karlsruhe, Germany 4 Central Aerological Observatory, Moscow Region, Russia 5 Forschungszentrum Jülich GmbH, Jülich, Germany 6 DLR, Institut fuer Physik der Atmosphaere, Oberpfaffenhofen, Germany 7 Chalmers University of Technology, Göteborg, Sweden *...
متن کاملAMOS - An Architecture for Active Mediators
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using fast communication networks. The approach is called active mediators, since it introduces an intermediate level of ‘mediator’ software between data sources and their use in applications and by users, and since it supp...
متن کاملThe Amos (azimuthal Mode Simulator) Code*
AMOS is a newly developed computer code that is finding application in the design of accelerator cavities. The program simulates the temporal evolution of electromagnetic fields in rotationally symmetric structures. An explicit Fourier series expansion is assumed in the azimuthal coordinate, which allows different multipole modes to be simulated independently. Nonuniform electrical properties (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vetus Testamentum
سال: 2020
ISSN: 0042-4935,1568-5330
DOI: 10.1163/15685330-12341432